.class {
  color: navy;
}

.interface {
  color: maroon;
}

.enum {
  color: #3A7E3D;
}

.typedef {
  color: #505050;
}

.mono {
  font-weight: normal;
  font-family: inconsolata, 'Courier New', monospace;
}

.embedded-code {
  color: green;
}

pre {
  padding: 4px;
  border: solid 1px #888;
  background: #EEE;
  width: 50em;
}

.footer {
  width: 46em;
  margin: 15px 0 0 0;
}

.rev {
  padding-left: 1em;
  
  font-size: .75em;
  font-style: italic;
}

.deprecated {
  text-decoration: line-through;
  font-weight: normal;
  color: red;
}

.deprecation-reason {
  margin-bottom: 1em;
}

.type-deprecation-header {
  color: red;
  margin-bottom: 0;
}

.type-deprecation-reason {
  padding-left: 3em;
  font-size: .85em;

  margin-bottom: 0;
}